English program verification: translation to other languages